Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16)
نویسندگان
چکیده
منابع مشابه
Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16)
متن کامل
Implicit Computational Complexity and Applications: Resource Control, Security, Real-Number Computation (NII Shonan Meeting 2013-13)
متن کامل
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- NII Shonan Meet. Rep.
دوره 2016 شماره
صفحات -
تاریخ انتشار 2016